79 research outputs found
Basic Polyhedral Theory
This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of
Operations Research and Management Science) describing parts of the theory of
convex polyhedra that are particularly important for optimization. The topics
include polyhedral and finitely generated cones, the Weyl-Minkowski Theorem,
faces of polyhedra, projections of polyhedra, integral polyhedra, total dual
integrality, and total unimodularity.Comment: 14 page
Revlex-Initial 0/1-Polytopes
We introduce revlex-initial 0/1-polytopes as the convex hulls of
reverse-lexicographically initial subsets of 0/1-vectors. These polytopes are
special knapsack-polytopes. It turns out that they have remarkable extremal
properties. In particular, we use these polytopes in order to prove that the
minimum numbers f(d, n) of facets and the minimum average degree a(d, n) of the
graph of a d-dimensional 0/1-polytope with n vertices satisfy f(d, n) <= 3d and
a(d, n) <= d + 4. We furthermore show that, despite the sparsity of their
graphs, revlex-initial 0/1-polytopes satisfy a conjecture due to Mihail and
Vazirani, claiming that the graphs of 0/1-polytopes have edge-expansion at
least one.Comment: Accepted for publication in J. Comb. Theory Ser. A; 24 pages;
simplified proof of Theorem 1; corrected and improved version of Theorem 4
(the average degree is now bounded by d+4 instead of d+8); several minor
corrections suggested by the referee
On cardinality constrained cycle and path polytopes
Given a directed graph D = (N, A) and a sequence of positive integers 1 <=
c_1 < c_2 < ... < c_m <= |N|, we consider those path and cycle polytopes that
are defined as the convex hulls of simple paths and cycles of D of cardinality
c_p for some p, respectively. We present integer characterizations of these
polytopes by facet defining linear inequalities for which the separation
problem can be solved in polynomial time. These inequalities can simply be
transformed into inequalities that characterize the integer points of the
undirected counterparts of cardinality constrained path and cycle polytopes.
Beyond we investigate some further inequalities, in particular inequalities
that are specific to odd/even paths and cycles.Comment: 24 page
Extended Formulations for Packing and Partitioning Orbitopes
We give compact extended formulations for the packing and partitioning
orbitopes (with respect to the full symmetric group) described and analyzed in
(Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all
0/1-matrices with lexicographically sorted columns and at most, resp. exactly,
one 1-entry per row. They are important objects for symmetry reduction in
certain integer programs.
Using the extended formulations, we also derive a rather simple proof of the
fact that basically shifted-column inequalities suffice in order to describe
those orbitopes linearly.Comment: 16 page
On the Complexity of Polytope Isomorphism Problems
We show that the problem to decide whether two (convex) polytopes, given by
their vertex-facet incidences, are combinatorially isomorphic is graph
isomorphism complete, even for simple or simplicial polytopes. On the other
hand, we give a polynomial time algorithm for the combinatorial polytope
isomorphism problem in bounded dimensions. Furthermore, we derive that the
problems to decide whether two polytopes, given either by vertex or by facet
descriptions, are projectively or affinely isomorphic are graph isomorphism
hard.
The original version of the paper (June 2001, 11 pages) had the title ``On
the Complexity of Isomorphism Problems Related to Polytopes''. The main
difference between the current and the former version is a new polynomial time
algorithm for polytope isomorphism in bounded dimension that does not rely on
Luks polynomial time algorithm for checking two graphs of bounded valence for
isomorphism. Furthermore, the treatment of geometric isomorphism problems was
extended.Comment: 16 pages; to appear in: Graphs and Comb.; replaces our paper ``On the
Complexity of Isomorphism Problems Related to Polytopes'' (June 2001
Computing the Face Lattice of a Polytope from its Vertex-Facet Incidences
We give an algorithm that constructs the Hasse diagram of the face lattice of
a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f),
where n is the number of vertices, m is the number of facets, a is the number
of vertex-facet incidences, and f is the total number of faces of P. This
improves results of Fukuda and Rosta (1994), who described an algorithm for
enumerating all faces of a d-polytope in O(min{n,m}*d*f^2) steps. For simple or
simplicial d-polytopes our algorithm can be specialized to run in time
O(d*a*f). Furthermore, applications of the algorithm to other atomic lattices
are discussed, e.g., to face lattices of oriented matroids.Comment: 14 pages; to appear in: Comput. Geom.; the new version contains some
minor extensions and corrections as well as a more detailed treatment of
oriented matroid
- …